Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Tests and Proofs - TAP 2011

Автор: , Автор:
Размер книги: 3.49 Mb

Testing Software and Systems - ICTSS 2011

Автор: , Автор:
Размер книги: 4.17 Mb

Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.79 Mb

Formal Approaches to Software Testing and Runtime Verification

 Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.58 Mb